# -*- mode: snippet -*-
# name: Definition
# key: def
# uuid: def
# --
Definition $1:$2 := $3.
